#ifndef _SetsCarta_h
#define _SetsCarta_h

#include <stdint.h>
#include <stdbool.h>
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */


/* Clause SETS */
typedef enum
{
    SetsCarta__ouros,
    SetsCarta__copas,
    SetsCarta__espadas,
    SetsCarta__paus
    
} SetsCarta__naipes;
typedef enum
{
    SetsCarta__as,
    SetsCarta__dois,
    SetsCarta__tres,
    SetsCarta__quatro,
    SetsCarta__cinco,
    SetsCarta__seis,
    SetsCarta__sete,
    SetsCarta__oito,
    SetsCarta__nove,
    SetsCarta__dez,
    SetsCarta__valete,
    SetsCarta__rainha,
    SetsCarta__rei
    
} SetsCarta__valores;

/* Clause CONCRETE_VARIABLES */


/* Clause CONCRETE_CONSTANTS */
/* Basic constants */
/* Array and record constants */
extern void SetsCarta__INITIALISATION(void);

/* Clause OPERATIONS */

extern void SetsCarta__valorEmInteiroDaCarta(SetsCarta__valores valorDeUmaCarta, int32_t *rres);

#ifdef __cplusplus
}
#endif /* __cplusplus */


#endif /* _SetsCarta_h */
